A Parallel Database-driven Protocol Verification System Prototype

Protocol verification using database technology

We describe a novel application of database technologies in communications networks: protocol verification on a parallel database machine. We introduce an approach to protocol verification that exploits database algorithms executing on a commercially available, parallel architecture called a hypercube multicomputer. With this approach, we seek to achieve the high degree of computational paralle...

A Parallel Relational Database Management System Approach to Relevance Feedback in Information Retrieval

A scalable, parallel, relational-database driven information retrieval engine is described. To support portability across a wide-range of execution environments, including parallel multicomputers, all algorithms strictly adhere to the SQL-92 standard. By incorporating relevance feedback algorithms, accuracy was significantly enhanced over prior database-driven information retrieval efforts. Alg...

A NEW PROTOCOL MODEL FOR VERIFICATION OF PAYMENT ORDER INFORMATION INTEGRITY IN ONLINE E-PAYMENT SYSTEM USING ELLIPTIC CURVE DIFFIE-HELLMAN KEY AGREEMENT PROTOCOL

Two parties that conduct a business transaction through the internet do not see each other personally nor do they exchange any document neither any money hand-to-hand currency. Electronic payment is a way by which the two parties transfer the money through the internet. Therefore integrity of payment and order information of online purchase is an important concern. With online purchase the cust...

Runtime verification of programs using rule-based active system

A Formal Framework for Specifying and Verifying Time Warp Optimizations

Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implementors design and develop these systems without a complete understanding of the problem domain; in addition, the nondeterministic nature of certain parallel and distributed systems make system validation di cult if not ...